$\forall$${\it the\_w}$:World, $i$:Id, $t$:$\mathbb{N}$. first($\langle$$i$$,\,$$t$$\rangle$) $\in$ $\mathbb{B}$